Optimal. Leaf size=166 \[ -\frac {b c \pi ^{5/2}}{6 x^2}-\frac {1}{4} b c^5 \pi ^{5/2} x^2+\frac {5}{2} c^4 \pi ^2 x \sqrt {\pi +c^2 \pi x^2} \left (a+b \sinh ^{-1}(c x)\right )-\frac {5 c^2 \pi \left (\pi +c^2 \pi x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x}-\frac {\left (\pi +c^2 \pi x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x^3}+\frac {5 c^3 \pi ^{5/2} \left (a+b \sinh ^{-1}(c x)\right )^2}{4 b}+\frac {7}{3} b c^3 \pi ^{5/2} \log (x) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.19, antiderivative size = 166, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 7, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.269, Rules used = {5807, 5785,
5783, 30, 14, 272, 45} \begin {gather*} \frac {5 \pi ^{5/2} c^3 \left (a+b \sinh ^{-1}(c x)\right )^2}{4 b}-\frac {5 \pi c^2 \left (\pi c^2 x^2+\pi \right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x}-\frac {\left (\pi c^2 x^2+\pi \right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x^3}+\frac {5}{2} \pi ^2 c^4 x \sqrt {\pi c^2 x^2+\pi } \left (a+b \sinh ^{-1}(c x)\right )-\frac {1}{4} \pi ^{5/2} b c^5 x^2+\frac {7}{3} \pi ^{5/2} b c^3 \log (x)-\frac {\pi ^{5/2} b c}{6 x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 30
Rule 45
Rule 272
Rule 5783
Rule 5785
Rule 5807
Rubi steps
\begin {align*} \int \frac {\left (\pi +c^2 \pi x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{x^4} \, dx &=-\frac {\left (\pi +c^2 \pi x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x^3}+\frac {1}{3} \left (5 c^2 \pi \right ) \int \frac {\left (\pi +c^2 \pi x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{x^2} \, dx+\frac {\left (b c \pi ^2 \sqrt {\pi +c^2 \pi x^2}\right ) \int \frac {\left (1+c^2 x^2\right )^2}{x^3} \, dx}{3 \sqrt {1+c^2 x^2}}\\ &=-\frac {5 c^2 \pi \left (\pi +c^2 \pi x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x}-\frac {\left (\pi +c^2 \pi x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x^3}+\left (5 c^4 \pi ^2\right ) \int \sqrt {\pi +c^2 \pi x^2} \left (a+b \sinh ^{-1}(c x)\right ) \, dx+\frac {\left (b c \pi ^2 \sqrt {\pi +c^2 \pi x^2}\right ) \text {Subst}\left (\int \frac {\left (1+c^2 x\right )^2}{x^2} \, dx,x,x^2\right )}{6 \sqrt {1+c^2 x^2}}+\frac {\left (5 b c^3 \pi ^2 \sqrt {\pi +c^2 \pi x^2}\right ) \int \frac {1+c^2 x^2}{x} \, dx}{3 \sqrt {1+c^2 x^2}}\\ &=\frac {5}{2} c^4 \pi ^2 x \sqrt {\pi +c^2 \pi x^2} \left (a+b \sinh ^{-1}(c x)\right )-\frac {5 c^2 \pi \left (\pi +c^2 \pi x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x}-\frac {\left (\pi +c^2 \pi x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x^3}+\frac {\left (b c \pi ^2 \sqrt {\pi +c^2 \pi x^2}\right ) \text {Subst}\left (\int \left (c^4+\frac {1}{x^2}+\frac {2 c^2}{x}\right ) \, dx,x,x^2\right )}{6 \sqrt {1+c^2 x^2}}+\frac {\left (5 b c^3 \pi ^2 \sqrt {\pi +c^2 \pi x^2}\right ) \int \left (\frac {1}{x}+c^2 x\right ) \, dx}{3 \sqrt {1+c^2 x^2}}+\frac {\left (5 c^4 \pi ^2 \sqrt {\pi +c^2 \pi x^2}\right ) \int \frac {a+b \sinh ^{-1}(c x)}{\sqrt {1+c^2 x^2}} \, dx}{2 \sqrt {1+c^2 x^2}}-\frac {\left (5 b c^5 \pi ^2 \sqrt {\pi +c^2 \pi x^2}\right ) \int x \, dx}{2 \sqrt {1+c^2 x^2}}\\ &=-\frac {b c \pi ^2 \sqrt {\pi +c^2 \pi x^2}}{6 x^2 \sqrt {1+c^2 x^2}}-\frac {b c^5 \pi ^2 x^2 \sqrt {\pi +c^2 \pi x^2}}{4 \sqrt {1+c^2 x^2}}+\frac {5}{2} c^4 \pi ^2 x \sqrt {\pi +c^2 \pi x^2} \left (a+b \sinh ^{-1}(c x)\right )-\frac {5 c^2 \pi \left (\pi +c^2 \pi x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x}-\frac {\left (\pi +c^2 \pi x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{3 x^3}+\frac {5 c^3 \pi ^2 \sqrt {\pi +c^2 \pi x^2} \left (a+b \sinh ^{-1}(c x)\right )^2}{4 b \sqrt {1+c^2 x^2}}+\frac {7 b c^3 \pi ^2 \sqrt {\pi +c^2 \pi x^2} \log (x)}{3 \sqrt {1+c^2 x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.25, size = 179, normalized size = 1.08 \begin {gather*} \frac {\pi ^{5/2} \left (-4 b c x-8 a \sqrt {1+c^2 x^2}-56 a c^2 x^2 \sqrt {1+c^2 x^2}+12 a c^4 x^4 \sqrt {1+c^2 x^2}+30 b c^3 x^3 \sinh ^{-1}(c x)^2-3 b c^3 x^3 \cosh \left (2 \sinh ^{-1}(c x)\right )+56 b c^3 x^3 \log (c x)+\sinh ^{-1}(c x) \left (60 a c^3 x^3-8 b \sqrt {1+c^2 x^2} \left (1+7 c^2 x^2\right )+6 b c^3 x^3 \sinh \left (2 \sinh ^{-1}(c x)\right )\right )\right )}{24 x^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(691\) vs.
\(2(138)=276\).
time = 7.28, size = 692, normalized size = 4.17
method | result | size |
default | \(-\frac {a \left (\pi \,c^{2} x^{2}+\pi \right )^{\frac {7}{2}}}{3 \pi \,x^{3}}-\frac {4 a \,c^{2} \left (\pi \,c^{2} x^{2}+\pi \right )^{\frac {7}{2}}}{3 \pi x}+\frac {4 a \,c^{4} x \left (\pi \,c^{2} x^{2}+\pi \right )^{\frac {5}{2}}}{3}+\frac {5 a \,c^{4} \pi x \left (\pi \,c^{2} x^{2}+\pi \right )^{\frac {3}{2}}}{3}+\frac {5 a \,c^{4} \pi ^{2} x \sqrt {\pi \,c^{2} x^{2}+\pi }}{2}+\frac {5 a \,c^{4} \pi ^{3} \ln \left (\frac {\pi \,c^{2} x}{\sqrt {\pi \,c^{2}}}+\sqrt {\pi \,c^{2} x^{2}+\pi }\right )}{2 \sqrt {\pi \,c^{2}}}+\frac {5 b \,c^{3} \pi ^{\frac {5}{2}} \arcsinh \left (c x \right )^{2}}{4}-\frac {147 b \,\pi ^{\frac {5}{2}} x^{3} \sqrt {c^{2} x^{2}+1}\, \arcsinh \left (c x \right ) c^{6}}{63 c^{4} x^{4}+15 c^{2} x^{2}+1}-\frac {56 b \,\pi ^{\frac {5}{2}} x \sqrt {c^{2} x^{2}+1}\, \arcsinh \left (c x \right ) c^{4}}{63 c^{4} x^{4}+15 c^{2} x^{2}+1}-\frac {22 b \,\pi ^{\frac {5}{2}} \sqrt {c^{2} x^{2}+1}\, \arcsinh \left (c x \right ) c^{2}}{3 \left (63 c^{4} x^{4}+15 c^{2} x^{2}+1\right ) x}+\frac {7 b \,c^{3} \pi ^{\frac {5}{2}} \ln \left (\left (c x +\sqrt {c^{2} x^{2}+1}\right )^{2}-1\right )}{3}-\frac {14 b \,c^{3} \pi ^{\frac {5}{2}} \arcsinh \left (c x \right )}{3}+\frac {147 b \,\pi ^{\frac {5}{2}} x^{4} \arcsinh \left (c x \right ) c^{7}}{63 c^{4} x^{4}+15 c^{2} x^{2}+1}-\frac {49 b \,\pi ^{\frac {5}{2}} x^{2} \left (c^{2} x^{2}+1\right ) c^{5}}{6 \left (63 c^{4} x^{4}+15 c^{2} x^{2}+1\right )}+\frac {35 b \,\pi ^{\frac {5}{2}} x^{2} \arcsinh \left (c x \right ) c^{5}}{63 c^{4} x^{4}+15 c^{2} x^{2}+1}-\frac {7 b \,\pi ^{\frac {5}{2}} \left (c^{2} x^{2}+1\right ) c^{3}}{3 \left (63 c^{4} x^{4}+15 c^{2} x^{2}+1\right )}+\frac {7 b \,\pi ^{\frac {5}{2}} \arcsinh \left (c x \right ) c^{3}}{3 \left (63 c^{4} x^{4}+15 c^{2} x^{2}+1\right )}-\frac {b \,\pi ^{\frac {5}{2}} \left (c^{2} x^{2}+1\right ) c}{6 \left (63 c^{4} x^{4}+15 c^{2} x^{2}+1\right ) x^{2}}-\frac {b \,\pi ^{\frac {5}{2}} \sqrt {c^{2} x^{2}+1}\, \arcsinh \left (c x \right )}{3 \left (63 c^{4} x^{4}+15 c^{2} x^{2}+1\right ) x^{3}}+\frac {b \,\pi ^{\frac {5}{2}} \sqrt {c^{2} x^{2}+1}\, \arcsinh \left (c x \right ) x \,c^{4}}{2}-\frac {b \,c^{5} \pi ^{\frac {5}{2}} x^{2}}{4}+\frac {49 b \,\pi ^{\frac {5}{2}} x^{4} c^{7}}{6 \left (63 c^{4} x^{4}+15 c^{2} x^{2}+1\right )}-\frac {b \,\pi ^{\frac {5}{2}} c^{3}}{8}\) | \(692\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \pi ^{\frac {5}{2}} \left (\int a c^{4} \sqrt {c^{2} x^{2} + 1}\, dx + \int \frac {a \sqrt {c^{2} x^{2} + 1}}{x^{4}}\, dx + \int \frac {2 a c^{2} \sqrt {c^{2} x^{2} + 1}}{x^{2}}\, dx + \int b c^{4} \sqrt {c^{2} x^{2} + 1} \operatorname {asinh}{\left (c x \right )}\, dx + \int \frac {b \sqrt {c^{2} x^{2} + 1} \operatorname {asinh}{\left (c x \right )}}{x^{4}}\, dx + \int \frac {2 b c^{2} \sqrt {c^{2} x^{2} + 1} \operatorname {asinh}{\left (c x \right )}}{x^{2}}\, dx\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\left (a+b\,\mathrm {asinh}\left (c\,x\right )\right )\,{\left (\Pi \,c^2\,x^2+\Pi \right )}^{5/2}}{x^4} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________